Euler time discretization of backward doubly SDEs and application to semilinear SPDEs