Average UK house price ended last year £4,800 higher than at end of 2022 – index