Noncommutative Kaluza-Klein theory