Free Higher Groups in Homotopy Type Theory