Download and unzip the data file, if missing

Closes #36.