The future of paper batch records in pharma’s digital transformation: a case study