North Texas home market shrugs off pandemic with record sales and prices