hong kong history stone quarry rock crusher mill