Exponential approximations to compacted sediment porosity profiles