The earthquake in Rocca di Papa, near Rome