Libya’s eastern govt orders arrest of Tobruk mayor