Initial Value Methods for Boundary Value Problems: Theory and Application of Invariant Imbedding