An effective lower bound for the height of algebraic numbers