A random model for rock joint normal stiffness