how much does it cost to open a burger king