Biharmonic submanifolds in space forms