Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment