Greece’s population shrank by 3.5% over past decade: Census