BRST quantization