What happens in Iran when a President dies in office?

Mr. Raisi was elected President in 2021 and, under the usual timetable, a presidential election had been due to take place in 2025