On agent-based modeling: Multidimensional travel behavioral theory, procedural models and simulation-based applications