What would have happened to Gurmukhi Script if East Punjab had become part of Pakistan during Partition?