definition of a variable