Operator product expansion in string theory on AdS_3