'How I Met Your Mother' ends after 9 seasons