User Behavior Simulation with Large Language Model based Agents