Artificial intelligence is making steady advances into subtitling but, say its practitioners, it’s a vital service that needs a human to make it work