Information and thermodynamics: experimental verification of Landauer's Erasure principle