TASI Lectures on Matrix Theory