On p-adic integration