A Methodology for the Design of Greenhouses with Semi-Transparent Photovoltaic Cladding and Artificial Lighting