Embedding Ordered Fields in Formal Power Series Fields