Multidip tomography formulation for migration velocity analysis