Design of chaotic binary sequences with prescribed auto-correlation properties based on piecewise monotonic onto maps