How many soldiers are in the British army now in 2012?