Jezioro Garda – informacje ogólne