Exploiting Symmetries by Planning for a Descriptive Quotient