Victim in Colorado school shooting was 18-year-old robotics enthusiast