Mulhouse opts for smart irrigation for its urban trees