12GHz: Another option for US 5G spectrum