BBC to use 'semi-automated journalism' for first time in covering 2019 general election