Quantum from principles