A 2.5-magnitude earthquake shakes Barcelona