Mashed Potatoes with Brisket Gravy