pressure cooker mustard brisket (p/c)