Richards, Michael, active 1701-1706, Brigadier-General Surveyor-General of the Ordnance