History of tactical role-playing games