AOL survived under Tim Armstrong, but it didn’t exactly thrive