The historical development of the art of quantity surveying up to 1800