1987–88 Dallas Mavericks season