Devonshire marbles—the greatest British decorative stones?