who decides the number of judges in the high court