Multi-Robot Symbolic Task And Motion Planning Leveraging Human Trust Models: Theory And Applications