Encyclopedia of war machines : an historical survey of the world's great weapons