School selection, student assignment, and enrollment in a school district with open enrollment and mandatory choice policies