Operator p-compact mappings