Instanton methods applied to defect tunneling in the presence of phonons