An automated procedure for computing the packing properties of dense and locked sands by image analysis of thin sections