Kaluza–Klein reduction