Tight Lower Bounds for Homology Inference