A module minimization approach to Gabidulin decoding via interpolation