Micro-earthquakes preceding a 4.2 earthquake near Istanbul as early warning signs?