Doncic and the Mavericks record biggest half time lead in NBA history