At this point, doing one's holiday shopping at the mall feels almost like a nostalgic throwback — not far removed from listening to music on vinyl or taking pictures with a disposable camera. The records for online holiday shopping are broken on what seems like a yearly basis, with last year's $9.12 billion representing the…