Semi-discrete error estimates and implementation of a mixed method for the Stefan problem