Human-Robot Teaming: formalization, design, and evaluation of an Intelligent Assistant System to support cooperation