Automated Design Of Optimal Medium Access Control Protocols For Wireless Networking