3500 MHz frequency allocation (2009)