A marked Cox model for the number of IBNR claims: Theory