Optimal adaptive sample allocation in stratified sampling under budget constraints