How is the fact that PBS is not a true seniority based system rectified with 20-C-4-a "Pilots shall be awarded a schedule within their Category in accordance with their seniority" ?