¿Cuáles son las características principales y las ventajas de utilizar Solidity como lenguaje de programación para contratos inteligentes en la blockchain de Ethereum?