An Encoder–Decoder-Based Method for Segmentation of COVID-19 Lung Infection in CT Images