erection of stone mining mills