Formalizing the Problem of Side Effect Regularization