Diophantine equations and modular curves