Homotopy bases and finite derivation type for subgroups of monoids