Diophantine applications of Serre’s modularity conjecture over general number fields