how many hours does it take to cook a brisket?