The Val di Noto earthquake of December 10, 1542