TechCrunch lays off several employees, including managing ed