What is the application of linear programming in resource allocation?