Boulder Jewish Festival to proceed with heightened security after attack