Effective Diophantine analysis on modular curves