4.2 magnitude earthquake recorded in north Gujarat's Patan district; no damage reported