Large spatio-temporal point processes with applications to spatio-temporal modelling of lightning flashes in the Alps