Analysis and optimization of CNN-based semantic segmentation of satellite images