Student engineers set a speed record in Elon Musk’s hyperloop competition