How are ad-hoc judges appointed? What did the Supreme Court order? Have such appointments been made previously?