Diffeomorphism symmetries of field theories and the homotopy extension of Noether's theorem