Public-Key Encryption with Non-Interactive Opening: New Constructions and Stronger Definitions