Beyond the effective length: how to analyze magnetic interference patterns of thin-film planar Josephson junctions with finite lateral dimensions