Boulder shooting: 10 dead including police officer after gun attack in Colorado supermarket