The many-body localization phase transition