The tectonic source of the 1755 Lisbon earthquake and tsunami