PositionNet: CNN-based GNSS positioning in urban areas with residual maps