More with less? Twitter user numbers fall but profit soars