Programming Abstractions for Software-Defined Wireless Networks