Fiducial Theory and Invariant Estimation