Hva var gjennomsnittlig leiebillengde for Sevilla i måneden oktober.