Obfuscation from Semantically-Secure Multi-linear Encodings