Himalayan earthquakes: a review of historical seismicity and early 21st century slip potential | Synapse