UK Autumn Budget: neither as good nor as bad as it might have been