Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads