A Marked Cox Model for the Number of IBNR Claims: Theory