Constant proportion portfolio insurance in defined contribution pension plan management under discrete-time trading