Instruments and techniques for thunderstorm observation and analysis