Gmail Dot Normalization: Why john.smith and johnsmith Are the Same