NTIRE 2023 Challenge on Image Super-Resolution (×4): Methods and Results