Photos: Tech exec's Pescadero mansion listed for $8 million