Devonshire marbles: history of the industry and the geology of these classic British ornamental stones