The development of public library planning and design in relation to the needs of the new leisure era