John Armstrong (surveyor)