¿Cuál es la cuarta ciudad más poblada de Austria, con 145.000 habitantes?