Quadratic Chabauty for modular curves: algorithms and examples