Smart Help: Strategic Opponent Modeling for Proactive and Adaptive Robot Assistance in Households