Nonholonomic Mechanical Systems and Kaluza–Klein Theory