Productivity Distribution, Firm Heterogeneity, and Agglomeration: Evidence from firm-level data