Symmetric Power Functoriality for Modular Forms