What was the proposed diameter for the original compact disc?