Ex-Walmart exec says theft helped kill Walmart’s cashierless checkout technology