Toward molecular models of proton pumping: Challenges, methods and relevant applications