US president leaves straight after service and before procession through Rome to pontiff’s burial place