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