Local Fields and Their Extensions