Colorado shootings: 'We heard boom, boom, boom'

A gunman has killed 10 people, including a police officer, in the US state of Colorado.