On the notion of proper efficiency in vector optimization