Education in the great proletarian cultural revolution