On Quantization of AdS3 Gravity I: Semi-Classical Analysis