Firm size distribution and returns to scale: Non-parametric frontier estimates from Italian manufacturing