A variational formulation for smeared fixed crack models