Measurement of air void content in hot mix asphalts: method and core diameter dependence