In 2012 the UK government launched a list of the Eight Great technologies of the future. Here's what they are and what role maths has to play in them.