como hacer cocido madrileño en olla rapida