Efficient Strategy Synthesis for MDPs with Resource Constraints