colorado springs is part of colorado