Using pressure cooker for corned beef