Proton-coupled dynamics in lactose permease