New computable entanglement monotones and witnesses from formal group theory