how old is mario the character