4.7 magnitude earthquake shakes Karachi, no major damage reported