Iran tanker departs after Gibraltar detention