population of aberystwyth