A Complete STIT Logic for Knowledge and Action, and Some of Its Applications