Penrose limit and string quantization in AdS3 × S3