Big data analytics for smart cities