Allocation in stratified sampling by means of linear programming