There has been an increase in mentions of AI and robotics in company filings within maritime