Who appoints the judges and magistrates?