Colorado mourns officer killed in Boulder mass shooting