With the other special characters and control codes filled in, ASCII was published as ASA X3. Who proposed to assign code positions without any meaning?