Ionospheric density perturbations recorded by DEMETER above intense thunderstorms