4.2-magnitude earthquake shakes Iran; injuries reported