Good worst-case algorithms for inserting and deleting records in dense sequential files