tsa technology problem solving 2017 imperial college thesis format