Empirical model of the main ionospheric trough for the nighttime winter conditions