English land measuring to 1800: instruments and practices