Indonesian miners sue to reverse export ban