Boost converter for nixie tubes. Based on a 555 timer