Measurement of Specimen Thickness by Using Electron Holography and Electron Dynamic Calculation with a Transmission Electron Microscope